Equations in virtually class 2 nilpotent groups
نویسندگان
چکیده
We give an algorithm that decides whether a single equation in group is virtually class $2$ nilpotent with cyclic commutator subgroup, such as the Heisenberg group, admits solution. This generalises work of Duchin, Liang and Shapiro to finite extensions.
منابع مشابه
Enumerating Finite Class-2-nilpotent Groups on 2 Generators
We compute the numbers g(n, 2, 2) of nilpotent groups of order n, of class at most 2 generated by at most 2 generators, by giving an explicit formula for the Dirichlet generating function P
متن کاملNormal subgroup growth in free class-2-nilpotent groups
Let F2,d denote the free class-2-nilpotent group on d generators. We compute the normal zeta functions ζ F2,d(s), prove that they satisfy local functional equations and determine their abscissae of convergence and pole orders.
متن کاملSolving equations in free nilpotent groups
In this paper we show that any system of equations over a free nilpotent group of class c is either unitary or nullary. In fact, such a system either has a most general solution (akin to the most general solution of a system of linear diophantine equations), or every solution has a proper generalization. In principle we provide an algorithm for determining whether or not a most general solution...
متن کاملAmalgams of Nilpotent Groups of Class Two
In this paper we will prove analogues of B. Maier’s characterization of weak and strong embeddability of amalgams in N2 [12, 13] for the subvarieties of N2. We will also give analogues of D. Saracino’s characterization of weak and strong amalgamation bases [17], the author’s work on dominions [11] and on amalgamation bases in some varieties of nil-2 groups [8, 9]. Definitions will be recalled b...
متن کاملSelt homotopy equivalences of virtually nilpotent spaces *
The aim of this paper is to prove Theorem 1.1 below, a generalization to virtually nilpotent spaces of a result of Wilkerson [13] and Sullivan [12]. We recall that a CW complex Y is virtually nilpotent if (i) Y is connected, (ii) 7r~ Y is virtually nilpotent (i.e. has a nilpotent subgroup of finite index) and (iii) for every integer n > 1, zr~Y has a subgroup of finite index which acts nilpoten...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Groups, complexity, cryptology
سال: 2022
ISSN: ['1867-1144', '1869-6104']
DOI: https://doi.org/10.46298/jgcc.2022.14.1.9776